$\forall$$A$:MsgA, $k$:Knd. Dec(ma{-}has{-}sends($A$;$k$))